Ontology Based Semantics Checking for UML Activity Model
نویسندگان
چکیده
منابع مشابه
Checking UML Model Consistency
UML is nowadays a de-facto standard for design and development of (object-oriented) software. With version 2.0 UML has achieved a more precise formal semantics. The same happened to OCL, a specification language which is an integral part of UML that allows to embed software contracts in the model. In this work we propose an approach for a static verification of consistency of UML models which r...
متن کاملA Tool Based on DL for UML Model Consistency Checking
Automated consistency checking of UML models becomes necessary as models grow in size and complexity. Since the UML metamodel does not enforce model consistency, there are no fixed guidelines on how to approach the consistency problem. Current solutions are generally partial. The translation of the metamodel and the user designed model into Description Logics has proved to provide a solution in...
متن کاملA Formal Semantics for Checking and Analysing UML models
The Unified Modelling Language (UML) is becoming a global standard diagrammatic notation for expressing and describing object-oriented models. Recently, the Object Constraint Language (OCL) has been proposed as a standard expression language for expressing additional constraints on UML models, which are not conveniently expressible in a diagrammatic form. In this paper we provide an approach fo...
متن کاملAn ASM Semantics for UML Activity Diagrams
We provide a rigorous semantics for one of the central diagram types which are used in UML for the description of dynamical system behavior, namely activity diagrams. We resolve for these diagrams some of the ambiguities which arise from different interpretations of UML models. Since we phrase our definition in terms of Abstract State Machines, we define at the same time an interesting subclass...
متن کاملParametric Bounded Model Checking for UML
The paper presents a SAT-based approach to Bounded Model Checking of systems specified in UML. Contrary to other UML verification tools we do not exploit any of the existing model checkers as we do not translate UML specifications into their input formalisms. Instead we directly encode an unfolding of a UML system as a propositional formula. Then, the conjunction of this formula and a propositi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Technology Journal
سال: 2012
ISSN: 1812-5638
DOI: 10.3923/itj.2012.301.306